although lcl filters are used widely in the grid connected inverters to reduce high-orderharmonics, such a system increases system order and therefore sustainable design of closed-loopcontroller system will be complicated. recently, the single-loop control strategy has beensuggested for l or lc filter based grid-connected inverters. however, the use of single-loopcontrol directly in lcl filter-...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

Efficient modeling on uncertain information plays an important role in estimating the risk of contaminant intrusion in water distribution networks. DempsterShafer evidence theory is one of the most commonly used methods. However, the Dempster-Shafer evidence theory has some hypotheses including the exclusive property of the elements in the frame of discernment, which may not be consistent with ...

Tridiagonal parametrizations of linear state-space models are proposed for multivariable system identiication. The parametrizations are surjective, i.e. all systems up to a given order can be described. The parametrization is based on the fact that any real square matrix is similar to a real tridiagonal form as well as a compact tridi-agonal form. These parametrizations has signiicantly fewer p...

This article provides a brief introduction to the state space modeling capabilities in SAS, a well-known statistical software system. SAS provides state space modeling in a few different settings. SAS/ETS, the econometric and time series analysis module of the SAS system, contains many procedures that use state space models to analyze univariate and multivariate time series data. In addition, S...